proof of solutions differential equations